Modelling Reasoning and Acting Agents

Free University Amsterdam, Dept. of Mathematics and Computer Science De Boelelaan 1081a, 1081 HV Amsterdam The Netherlands Email: [email protected] Abstract A number of specific aspects of (intelligent) multi-agent domains have not been considered from a conceptual modelling perspective. For example, dealing with changing worlds and simultaneously active agents the resulting interactivity and dynamics have not been studied extensively at a conceptual level. Researchers from the multi-agent community often seem not so familiar with the perspectives and results on conceptual and formal knowledge modelling languages and vice versa. A difficult but interesting issue is how to integrate in a formal modelling language the reasoning behaviour of an agent with performing acts like observations, communications and execution of actions in the material world; i.e., how to integrate declarative and procedural aspects of both the reasoning and acting behaviour with the underlying knowledge. To describe formally the actions executing changes in the material world, often temporal logic is used. This covers the material side of the problem. For the other, mental side of the agent’s behaviour temporal logic can be used as well, as recently has been shown. The current paper combines the two approaches by introducing one integrated declarative (temporal) semantic framework for modelling both reasoning behaviour (the mental side) and acting behaviour (the material side).